COMMENT ⊗   VALID 00004 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	%files.old[e89,jmc]	Old paper files, indexed 1989 Sep
C00006 00003	2nd box in garage at 885 Allardice
C00013 00004	3rd box in garage at 885 Allardice
C00025 ENDMK
C⊗;
%files.old[e89,jmc]	Old paper files, indexed 1989 Sep
	These files fill one file box to be stored in garage.
	Some materials were put in hchron, others to be taken
to office.

Vera letters	to and from Vera on Annapurna including jmc
	(also copies of letters to Fran and Ursula)
Vera tapes	transcriptions, letter from Arlene Blum to jmc
		National Geographic about Annapurna
		Vera report with Jim Gray about Shared segments
Vera clippings and letters	Aconcagua poem, photos
	clippings about accident, expedition, Think about expedition
	Vera letter about climb, IBM Research about expedition
	Spanish clipping about Vera on Aconcagua
	clipping about Alexander Lerner and 1975 IJCAI
	Summit Magazine about expedition
Vera expedition	Vera passport, Nepal trekking permit, notebooks,
	address book, letter from Vera in Caucasus,
	Juarez divorce decree dated 1961 march 13 with Peter Smith Watson
	marriage 1957 July 22 in Rio de Janeiro
	1958 Mar 3 British passport with good picture
	visas U.S. Canada, Brazil
photos	slides (Arlene Blum) and film can
AWHE	includes long letter from me to Chadwick about what I
	found out by interviewing members of the expedition,
	other letters and agreements
Susie	ltrs from Reed and other materials
Songs	Der Jammerwoch, Russian version of "It's now ours, boys"
	translation of Barabanschik by Okudzhava
	translation of Petukh
	Shla mashina iz Tambova (with music)
	climbing songs
	off to sea once more
	bird in a cage
	Star of the County Down
	Dona dona, (English and Yiddish)
	Down along the cove
	The wicked messenger (Bob Dylan?)
	Songs of Love and Haight (Ashley Brilliant)
	Songs by Okudzhava
	poem about Czechoslovakia (Russ go home, not Yanks)
	(something about what a dead chicken said)
	try at a poem about 1965
	poem to Natasha
	more about the dead chicken
	The train from Tambov (translation)
	talking time-sharing blues
	translation of Petukh (Rooster)
	We belong to it
	"draft of minority report", ltr to Algol 68 committe with tape
Old pocket notes and business cards	7 old notebooks
Martha	divorce decree, other divorce material
manuscripts	handwritten originals of memo to Morse on time sharing
		handwritten original memo on LISP
chess program	material including dittoed on McCarthy chess program
	legal move routines
	discussion of three move mate mentioning killer heuristic
docdil	material from Fredkin on giving doctor's dilemma to M.I.T. students
2nd box in garage at 885 Allardice

1. Vera letters 1978, from her and to her from me and others
2. No on 15 campaign, 1975
3. 1950s notes on information retrieval (reread)
4. 1950s letters
5. Research notes 1950s
	Natural extensions of canonical systems (1 page)
	Programs that take advice (1)
	Contents of paper or book on programming (1)
	Multiple quantity statements, i.e. parallel assignments (3)
	outline on topics in cs and people (1)
	flow chart re chess (perhaps taken from program)  (1)
	what's a symbol (1)
	first pass plausible moves (chess) (1)
	division of the AI problem (1)
	note on formats (patterns?) (1)
	equivalence statements (macros?) (3)
	more on equivalences and formats (4)
	more on formats (4)
	improvements in programming
(whenever, auto-tree search, subr hierarch) (1)
	programming samples (5)
	high velocity low thrust rockets (unfortunately, only
well known preliminaries were stated)
	classifying game positions by probability of win (3)
	structure of problems and problem solving (1)
	move tree search (1)
	some differential equations (1)
	fragment of exposition on computers and programming (1)
	fragments on programming languages (3)
	connections on IBM704 relevant to forcing trapping mode

6. 1950s projects
	list of projects (1)
	dumbell in gravitational field (the question was
whether it was possible for a dumbell to pump itself into
a higher orbit.  The tentative answer was no.)
	common sense view of world problems and prospects
(these are in accordance with my present views 1989) (4)
	notes on air traffic control 1958 (2)
	notes on rates of computation (worth rereading) (8)
	Stanford shouldn't get the B5000 (probably never
shown to Forsythe)  Contains propositions about getting
a large time-sharing machine. ****
	formula for time allotted to subgoal in search (1)
unpleasant facts - worth putting in file **** (2)
various ideas - **** (1)

7. memos written as IBM consultant
	1957 April 29 Suggestions for fundamental research
in letter recognition (alas, it was multiple copies of the
same memo) ****
	Psychological Problems and Experiments suggested
by AI work **** (handwritten draft) (16)

8. Introduction to Turing Machines (26+diagrams) 1956 Nov 1

9. The Artificial Problem - hierarchy of topics 1956? June 21
	3 manuscripts 35 pp ****

10. cleanup 1957 Sept 15
	notes and SAP code for Fortran function permitting
use of program as functions - probably obviated by Fortran 2
(20)
	syntactic conditions, probably for Fortran (non
phrase structure) (8)
	Notes for IRE meeting talk on "Introduction to the
Artificial Intelligence Problem) 1956 Sept *****
copied to ai.1956 on gang-of-four, 1989 Sept
	notes on new language and compilers (4)
	announcement of Third Games Conference March 12, 1957 (not mine)
proposl for execute instruction (1)
	notes on superproductions and speedup of computation (1)
	notes for Morse code reader
	fragment of library condenser program (At that time, the
program library tape consisted of card images, and therefore
it read in slowly.  The condenser program got rid of most of
the inter-record gaps and most of the blanks.
	notes on formats (1)
approach to tensors (2)

11. photographs, 1950s

12. 1950s letters including
	request for proofs on paying the weatherman
	letter from Marschak and draft reply (handwritten)
	invite to symposium on Mechanization of thought processes
	
13. Notes for paper on Aggregation in the Leontief model

14. letters concerning Automata Studies

15. proposals for modifying IBM704 for interaction.  Check if
the there are hints aimed at time-sharing.

16. miscellaneous files from Dartmouth Summer Research Project
	manuscript An Approach to the Problem of Intelligent
Machines, maybe by Solomonoff
	Newell-Simon plans for project

17. Susie, circa 1973

18. old badges, copy of discharge, parachute log book
3rd box in garage at 885 Allardice

1. Current miscel. writings (from 1970)
	Notes on the frame problem, 2pp, **
	Criticism of "The Environmental Handbook" as propaganda, 5pp
	Draft AI Memo, "Another theory of knowledge and belief", 2pp
	notes on hash cons, 1p
	more on graphs [not much], < 1p
	draft letter to Dana Scott, 3p
	Relations between representations of problems, sentential
		representations and transformation representations, 1p
	some formal representations of English sentences, 2pp
	notes for semantics position paper, 2pp printout
	ideas for technology book, 2pp printout, ***
	what technology, 1p printout, ***
	philosophical basis for AI, 5pp, ***
	the mind sitting on top of subroutines, 1p
	commands for drafting system, 1p
	Three problems of epistemological engineering, 1p
		knowledge, occam's razor, relation between models and reality
	The present state of time-sharing, 8pp, probably 1968, ***
	Occam's razor and AI, draft AI memo, minimal models, 4pp, **
		evidently pre circumscription, uses wolf, goat
		and cabbage
	Another theory of knowledge and belief, typed, 2pp
	Free music, suggestions for pro-rock demonstrations, 1p
	notes on proofs of Goedel fixed point lemma, 4pp, ***
		some translations into Lisp
	draft letter to Pat Hayes about knowledge formalisms
		June 16, 1969, 8pp
	Notes on the partial function calculus and its applications,
		4pp, doesn't really go beyond AI Memo 1
	Formal languages in which not every sentence has a truth value, 3pp
		getting around Tarski's need for hierarchy
	Letter to Donovan about his "canonic systems"

2. Dartmouth Summer project on artificial intelligence notes,
	Aug 16 and 17, 1956, mentions Solomonoff, Minsky, Bigelow,
	Selfridge, More, Rochester, Nash
	Notes on plans for Dartmouth from Newell and Simon

3. Notes for MIT course 6.41 freshman computing Feb and Sept 1960

4. Kryloff and Bogoliuboff, Applications of the methods of
	nonlinear mechanics to the theory of stationary
	oscillations, Ukrainian Academy of Sciences 1934,
	translation by John McCarthy

5. Aggregation in the open Leontief model, preliminary report
	from Dartmouth Math. Project report

6. Probabilistic models of strictly determined games
	from Dartmouth Math. Project report

7. LISP Kalah program, Jan. 22, 1962

8. A Remote-service, time-sharing, data-processing center
	operated as a public utility, Fredkin and McCarthy, 1960 July 25

9. Old notes
	understand English, do math, play chess, advice taker, computable
		functions, 1p
	conversation with a robot, 1p
	What is the theory of computation, 2pp
	notes, 1p, what is simplest example of reasoning from
		a declarative sentence to an action?
	making KRK the basis of an AI course, 8pp
	Lisp functions, pre-algol notation for cond. exps., 5pp
	tic-tac-toe heuristics, 1p
	new conditional forms, functions as consequent and alternative, 1p
	classes of functions from X to Y, 1p
	old alpha-beta functions, 1p
	misc notes, theory of computation, lisp functions, 1959?, 9pp
	logical lisp, 1959?, 16pp, memo 13, proposes proof checker
	recursion induction, 3pp
	a simple calculus of recursive functions (computable
		in terms of base functions) 1p, difficulties
	lecture notes on C{F}, probably for U. Mich. summer course,4pp
	notes on project to build machine (time-sharing?), 3pp
	physical and mental events and intelligent machines
		relation to philosophy, **,8pp
	p6 of proposal for computer checked proofs, 1p
	compiling maplist into lisp, 1p
	the artificial intelligence problem, 3pp
	East Virginia, song text, 1p
	The objectivity of causality, 3pp, automaton model
	Man -computer symbiosis, by Licklider, 8pp
	Scientism 1, book idea, 2pp
	The importance of time-sharing, notes re MIT committee report
		4pp, has excessive price estimates
	Proposed report of Long Range Computation Study group
		J. McCarthy, M. L. Minsky, with letter
		to computer manufacturers, dittoed, feb 13, 1961, 10pp
		(re: time-sharing)
	On the manipulation of formal systems by machine, by Gelernter
		11pp
	Solvability of the theory of an equivalence relation, 3pp
		July 25, 1962
	Symbolic expression calculus, 20pp, ***
		mtc proposals
	mtc syntax, 5pp
	mtc notes, 2pp
	ray tracing notes for 6.41, April 25, 1960, 11pp
	contents of file drawers at MIT, 4pp
	Mathmatic notes, Remington Rand, 29 July 1957, 2pp
	note from Teager, 1960 July 19, about survey of users
	fragment on blue sky prog. lang. pages 6-10
	On the meaning of "the reader will easily verify", 3pp
		June 28, 1956, Dartmouth Summer

10. Miscellaneous from notebook
	How to use the 704 at M.I.T. for Dartmouth
	Harnesses, a kind of macro
	Clocks for computers, for IBM 704
	Well-ordering of the ordinals, The prisoner's dilemma
	Problem from Church's logic (validity of a formula in
finite domains)
	On the informativeness of an observed distribution,
When can we conclude that the distribution is a mixture?
	Glaser, McCarthy Minsky, The Automated Biological Laboratory
	combinators in apply (early LISP), composition, condf, parallel
	memo 9, Towards a Formal thery of S-functions
	A formal theory of computation, 5pp, superseded by A Basis
	Number theory in LISP, 1pp
	Schemes for Heuristic programs, 2pp
	Induction axiom for LISP, 2pp
	an old eval, 1p
	notes for paper on the representation problem, 1p
	mrhug, 28 oct 1973, for cs 226, 4pp
	notes for chess program, 3pp
	chess program notations I, for 704, 2pp
	rotations of the octahedron, 2pp
	notes on sets, 6pp
	directory 1,jmc 20-nov-69, 1p listing
	plans for Voice of Reason, newspaper, 3pp listing
	computer controlled cars, nov 5, 1969, 5pp listing
	semantics of natural language, 2pp listing
	
11. Miscellaneous notes, non JMC
	The Plane Geometry machine, Gelernter
	Automated Biological Laboratory
		Attributes of life
		Report of subcommittee on infor processing and control

12. Memos and reprints, McCarthy, jmc
	McCarthy and Hayes
	The home information terminal, SOS file
	The home information terminal, pox or pub output
	Situations, actions and causal laws, July 3, 1963
		(Stanford AI memo 3)
	Formal description of the game of Pang-Ke
		(Stanford AI memo 17)
	Creativity is as creativity does (letters about
		replacement of person by robot) (out for copying)
	The doctor's dilemma (pub output)
	Some philosophical problems (McCarthy and Hayes)

13. 1950s notes, handwritten
	chess game, 1pp
	notes on Schrodinger equation with suggestions for redundant
		representations, 4pp
	linear operators on spaces and subspaces, 4pp
	abstractions of propositional operators, 1pp
	notes on chess, 1pp
	semantic systems, an abstract model theory, 7pp
	action programs, 2pp
	notes on programming the advice taker, 16pp (worth reading)
	proto-lisp notes 1pp
	chess programming notes with alpha-beta, 2pp
	general ai notes, 1pp
	advice taker notes, 1pp
	AI programming notes, mentions greatest common instance
		unification, 7pp
	advice taker note, 1pp
	note for lecture on ai, 1pp
	Notes on the advice taker, 2pp
		2nd page relevant to nonmonotonic reasoning
	ai notes, 3pp
	A knows an x s.t. P(x), perhaps not 1950s
	procedure languages 1pp